DFA for number divisible by 5